Search | Engineering

Subscribe Submit

Home Journals Focus Achievement Fronts About Us 中文版

Resource Type

Journal Article 8

Year

2022 2

2020 2

2019 1

2016 1

2013 1

2005 1

Keywords

Semi-tensor product 2

Semi-tensor product of matrices 2

Chrestenson cyclic spectrum 1

Control design 1

Direct adaptive 1

Discrete system 1

Dynamic fuzzy logical system 1

Finite fields 1

Finite state machines 1

Finite-valued systems 1

Galois NFSRs 1

Intrinsical Management 1

Island & Tunnel Project of Hong Kong-Zhuhai-Macao Bridge 1

Logical control network 1

Logical control networks 1

Logical networks 1

Logical systems 1

Matrix approaches 1

Multi-constraint 1

Nonlinear feedback shift registers (NFSRs) 1

open ︾

Search scope:

排序： Display mode:

The Strict Avalanche Criterion of Order k Spectral Properties of m-Valued Logical Functions

Guojinhui,LiShiqu

Strategic Study of CAE 2005, Volume 7, Issue 12, Pages 45-48

Abstract:

Many cryptographic properties of m - valued logical functions are often described by their Chrestensonspectrums and autocorrelation functions play important roles in properties and construct ions for m-valued logicalresidue class ring Z_m, the concept of the strict avalanche criterion of order k of m-valued logicalThen, by applying probabilistic thought and methods, the rule that a w-valued logical function fulfillsFinally, by Chrestenson cyclic spectrums, a necessary and sufficient condition on a m-valued logical

Keywords： m-valued logical function Chrestenson cyclic spectrum auto-correlation function the strict avalanche

HTML PDF Collect

Newdevelopments in control design techniques of logical control networks Review Articles

Xiang-shan KONG, Shu-ling WANG, Hai-tao LI, Fuad E. ALSAADI

Frontiers of Information Technology & Electronic Engineering 2020, Volume 21, Issue 2, Pages 220-233 doi: 10.1631/FITEE.1900397

Abstract: The control design problem plays a fundamental role in the study of logical control networks (LCNs).

Keywords： Logical control network Control design Semi-tensor product of matrices

HTML PDF Collect

Output tracking of delayed logical control networks withmulti-constraint Research Articles

Ya-ting ZHENG, Jun-e FENG

Frontiers of Information Technology & Electronic Engineering 2020, Volume 21, Issue 2, Pages 316-323 doi: 10.1631/FITEE.1900376

Abstract: In this study, the output tracking of delayed logical control networks (DLCNs) with state and controldelays, state-dependent delay updates its value depending on the current state values and a pseudo-logical

Keywords： Logical control networks Multi-constraint Output tracking Stabilization State-dependent delay Semi-tensor

HTML PDF Collect

Characters of topological relations and its applications in spatial reasoning

Li Chengming and Liu Xiaoli

Strategic Study of CAE 2013, Volume 15, Issue 5, Pages 14-19

Abstract:

In the paper,the formal representation of topological relationships are proposed according to our early research results, and the characters are also introduced. Based on these characters, the results for com-posite topological relations are introduced. At last, the applications in spatial reasoning are proposed.

Keywords： topological relationship composite of topological relations spatial reasoning algbra reasoning logical

HTML PDF Collect

Research on Intrinsical Management: Based on the Practice in Island & Tunnel Project of Hong Kong–Zhuhai–Macao Bridge

Lin Ming, Wang Menjun, Wang Qinge, Tang Juanjuan

Strategic Study of CAE 2019, Volume 21, Issue 2, Pages 103-110 doi: 10.15302/J-SSCAE-2019.02.015

Abstract: Then it proposed three factors and four connotations of Intrinsical Management, established its logical

Keywords： Management the practice of Chinese engineering Island & Tunnel Project of Hong Kong-Zhuhai-Macao Bridge logical

HTML PDF Collect

Application of direct adaptive fuzzy slidingmode control into a class of non-affine discrete nonlinear systems Article

Xiao-yu ZHANG

Frontiers of Information Technology & Electronic Engineering 2016, Volume 17, Issue 12, Pages 1331-1343 doi: 10.1631/FITEE.1500318

Abstract: To obtain adaptiveness and eliminate chattering of sliding mode control, a dynamic fuzzy logical system

Keywords： Nonlinear system Discrete system Dynamic fuzzy logical system Direct adaptive Sliding mode control

HTML PDF Collect

A matrix-based static approach to analysis of finite state machines Research Article

He DENG, Yongyi YAN, Zengqiang CHEN,yyyan@mail.nankai.edu.cn

Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 8, Pages 1239-1246 doi: 10.1631/FITEE.2100561

Abstract: Traditional matrix-based approaches in the field of construct state transition matrices, and then use the powers of the state transition matrices to represent corresponding dynamic transition processes, which are cornerstones of system analysis. In this study, we propose a static matrix-based approach that revisits a finite state machine from its structure rather than its dynamic transition process, thus avoiding the "explosion of complexity" problem inherent in the existing approaches. Based on the static approach, we reexamine the issues of closed-loop detection and controllability for deterministic . In addition, we propose controllable equivalent form and minimal controllable equivalent form concepts and give corresponding algorithms.

Keywords： Logical systems Finite-valued systems Semi-tensor product of matrices Finite state machines Matrix

HTML PDF Collect

On observability of Galois nonlinear feedback shift registers over finite fields Research Article

Zhe GAO, Jun´e FENG, Yongyuan YU, Yanjun CUI

Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 10, Pages 1533-1545 doi: 10.1631/FITEE.2200228

Abstract:

ensures that any two distinct initial states can be uniquely determined by their outputs, so the stream ciphers can avoid unobservable to prevent the occurrence of equivalent keys. This paper discusses the of over . are treated as using the . The vector form of the state transition matrix is introduced, by which a necessary and sufficient condition is proposed, as well as an algorithm for determining the of general . Moreover, a new matrix is defined, which can derive a matrix method with lower computation complexity. Furthermore, the of two special types of , a full-length Galois NFSR and a nonsingular Galois NFSR, is investigated. Two methods are proposed to determine the of these two special types of NFSRs, and some numerical examples are provided to support these results.

Keywords： Observability Nonlinear feedback shift registers (NFSRs) Galois NFSRs Semi-tensor product Finite fields Logical